Als leere Wahrheit (englisch vacuous truth) bezeichnet man in der mathematischen Logik und der Logik eine Aussage P ⟹ Q {\displaystyle P\implies Q} , die wahr ist, weil das Antezedens P {\displaystyle P} nicht erfüllt werden kann.
Developed by Tubidy